|
S39 | Released 05/07/2024. 'fn' defined for 0 place functions.
|
|
S38.3 | Released 13/05/2024. Bugfixes of issues reported by jaccarmac.
|
|
S38.2 | Released 23/04/2024. Bugfix in % and !.
|
|
S38.1 | Released 19/03/2024. Bugfix in shen.process-def.
|
|
S38 | Released 01/02/2024. Shen macros factorised; 2X faster reader.
|
|
S37.1 | Released 12/01/2024. Redundant factorisation eliminated.
|
|
S37 | Released 10/01/2024. Algorithm for factorising code improved.
|
|
S36 | Released 14/12/2023. Prolog calls run in personal space,
assert/retract recycles memory.
|
|
S35 | Released 02/10/2023. type ==> simplified for YACC.
|
|
S34.6 | Released 04/09/2023. tweaked for Yggdrasil.
|
|
S34.5 | Released 28/07/2023. assert and retract recoded.
|
|
S34.4 | Released 10/06/2023. fixed bug in curry-type and unwind-types.
|
|
S34.3 | Released 27/03/2023. fixed bug in destroy function.
|
|
S34.2 | Released 07/12/2022. polymorphic types for YACC.
|
|
S34.1 | Released 27/11/2022. correctness bug resolved in type checker.
|
|
S34 | Released 09/09/2022. assert and retract introduced into Shen Prolog;
name clash problem resolved in compiler.
|
|
S33.01 | Released 09/09/2022. ! and % debugged to ignore whitespace junk.
'foreign' introduced to make native code connection easier.
|
|
S32.03 | Released 30/07/2022. backend corrected so integer? test works; sequent compiler
debugged for false mode declarations. |
|
S32.03 | 32.03 for BSD. |
|
S32.02 | Released 20/07/2022. Bug in lambda expressions in Horn clauses fixed. |
|
S32.01 | Released 15/05/2022. Bug in overapplications fixed. |
|
S32 | Released 11/02/2022. Bug in 'synonyms' fixed. Left linear issue in types resolved. |
|
S31.03 | Released 13/12/2021. Attempting to redefine system functions cannot screw up types and arity. |
|
S31.02 | Released 15/11/2021. Backend functions
for Common Lisp placed in package .cl rather than .shen. |
|
S31.01 | Released 1/11/2021. This is the vanilla
version from Mark Tarver documented in The Book of Shen. |
